1. Constraint reasoning for differential models
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Constraints (Artificial intelligence) ; Differential equations. ; Interval analysis (Mathematics) ; Biophysics ; Mathematical models. ;
2. Constraint reasoning for differential models
پدیدآورنده : / Jorge Cruz
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Constraints (Artificial intelligence),Differential equations,Interval analysis (Mathematics),Biophysics- Mathematical models
رده :
Q340
.
C78
2005
3. Formal concept analysis
پدیدآورنده : / Petko Valtchev, Robert Jeaschke (eds.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
رده :
E-BOOK
4. Formal concept analysis
پدیدآورنده : Petko Valtchev, Robert Jeaschke (eds.)
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
رده :
QA
،
171
.
5
،.
I55
،
2011
5. Mathematical methods for artificial intelligence and autonomous systems
پدیدآورنده : / Edward R. Dougherty, Charles R. Giardina
کتابخانه: Central Library and Document Center of Arak University (Markazi)
موضوع : Artificial intelligence-- Mathematics,Artificial intelligence-- Mathematical models
رده :
006
.
3015118
D732m